"Roy Dyckhoff" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000

Категория: Cs_Computer science, CsLn_Lecture notes

2.87 Mb

#2

Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings

Roy Dyckhoff

3.17 Mb

#3

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister

2.75 Mb